package edu.gatech.cc.concolic.constraint;

import java.util.Collection;

public class AND extends NaryConstraint {

	private static final long serialVersionUID = 3195045944784347653L;

	public AND(Collection<Constraint> expressions) {
		super(expressions);
	}

	public AND(Constraint... expressions) {
		super(expressions);
	}
	
	public void accept(ConstraintVisitor visitor) {
		visitor.visit(this);
	}
}
